#include <stdio.h>
extern int add (int x, int y);

int main (void)
{
	int ret = add (10, 20);
	printf ("ret = %d\n", ret);
}
